大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 鈥pril 1, 2012. Proceedings

0
索取号：
作者：Flanagan、 Cormac.、K枚nig、 Barbara.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Foundations of Software Science and Computational Structures [electronic resource] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 鈥pril 1, 2012. Proceedings

0
索取号：
作者：Birkedal、 Lars.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Requirements Engineering: Foundation for Software Quality [electronic resource] : 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings

0
索取号：
作者：Regnell、 Bj枚rn.、Damian、 Daniela.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software and Network Engineering [electronic resource]

0
索取号：
作者：Lee、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Compiler Construction [electronic resource] : 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 鈥pril 1, 2012. Proceedings

0
索取号：
作者：O鈥橞oyle、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Principles of Security and Trust [electronic resource] : First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

0
索取号：
作者：Degano、 Pierpaolo.、Guttman、 Joshua D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Foundations of Information and Knowledge Systems [electronic resource] : 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

0
索取号：
作者：Lukasiewicz、 Thomas.、Sali、 Attila.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings

0
索取号：
作者：Choy、 Oliver C. S.、Cheung、 Ray C. C.、Athanas、 Peter.、Sano、 Kentaro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Applied Computational Intelligence in Engineering and Information Technology [electronic resource] : Revised and Selected Papers from the 6th IEEE International Symposium on Applied Computational Intelligence and Informatics SACI 2011

0
索取号：
作者：Precup、 Radu-Emil.、Kov谩cs、 Szilveszter.、Preitl、 Stefan.、Petriu、 Emil M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Mathematical Modeling and Computational Science [electronic resource] : International Conference, MMCP 2011, Star谩 Lesn谩, Slovakia, July 4-8, 2011, Revised Selected Papers

0
索取号：
作者：Adam、 Gheorghe.、Bu拧a、 J谩n.、Hnati膷、 Michal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Algorithms for Sensor Systems [electronic resource] : 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbr眉cken, Germany, September 8-9, 2011, Revised Selected Papers

0
索取号：
作者：Erlebach、 Thomas.、Nikoletseas、 Sotiris.、Orponen、 Pekka.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Engineering Secure Software and Systems [electronic resource] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

0
索取号：
作者：Barthe、 Gilles.、Livshits、 Benjamin.、Scandariato、 Riccardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Bioinformatics for Personalized Medicine [electronic resource] : 10th Spanish Symposium, JBI 2010, Torremolinos, Spain, October 27-29, 2010. Revised Selected Papers

0
索取号：
作者：Freitas、 Ana T.、Navarro、 Arcadi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Parameterized and Exact Computation [electronic resource] : 6th International Symposium, IPEC 2011, Saarbr眉cken, Germany, September 6-8, 2011. Revised Selected Papers

0
索取号：
作者：Marx、 D谩niel.、Rossmanith、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Software Engineering Techniques [electronic resource] : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

0
索取号：
作者：Szmuc、 Tomasz.、Szpyrka、 Marcin.、Zendulka、 Jaroslav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Current Trends in Web Engineering [electronic resource] : Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers

0
索取号：
作者：Harth、 Andreas.、Koch、 Nora.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.